Меню
Публикации
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
Главный редактор
НИКИФОРОВ
Владимир Олегович
д.т.н., профессор
Партнеры
doi: 10.17586/2226-1494-2020-20-1-94-100
УДК 681.518.54
АВТОМАТИЗАЦИЯ ПОСТРОЕНИЯ СРЕДСТВ ДИАГНОСТИРОВАНИЯ ДЛЯ ПОТОКОВОЙ ВЫЧИСЛИТЕЛЬНОЙ СИСТЕМЫ РЕАЛЬНОГО ВРЕМЕНИ
Читать статью полностью
Язык статьи - русский
Ссылка для цитирования:
Аннотация
Ссылка для цитирования:
Лукоянов Е.В., Грузликов А.М. Автоматизация построения средств диагностирования для потоковой вычислительной системы реального времени //Научно-технический вестник информационных технологий, механики и оптики. 2020. Т. 1. № 1. С. 94–100. doi: 10.17586/2226-1494-2020-20-1-94-100
Аннотация
Предмет исследования. Рассмотрены вопросы проектирования средств диагностирования нарушений в адресации информационных обменов между программными модулями для потоковой вычислительной системы реального времени. Несмотря на декомпозицию процесса проектирования на основе иерархического подхода, он остается достаточно сложным, а значит, остается актуальной и проблема его автоматизации. Метод. Проблема автоматизации построения модели и тестов для потоковой вычислительной системы реального времени решается на основе декомпозиции и с привлечением дискретно-событийного моделирования. Основные результаты. Разработана инструментальная среда, автоматизирующая процедуру построения модели, генерации тестовых воздействий и эталонных выходных последовательностей. Приведено ее краткое описание. В основу функционала среды положены алгоритмы синтеза динамической модели системы и формирования теста для диагностирования нарушений обменов между программными модулями системы. Практическая значимость. Разработанная инструментальная среда позволяет существенно сокращать время проектирования средств диагностирования для потоковых вычислительных систем реального времени.
Ключевые слова: автоматизация построения модели, дискретно-событийная модель, потоковая вычислительная система, тестовое диагностирование, периодически нестационарная система
Благодарности. Работа проведена при поддержке гранта РФФИ № 19-08-00052.
Список литературы
Благодарности. Работа проведена при поддержке гранта РФФИ № 19-08-00052.
Список литературы
1. Issues of Fault Diagnosis for Dynamic Systems / ed. by R.J. Patton, P.M. Frank, R.N. Clark. London: Springer-Verlag, 2000. 597 p.
2. Isermann R. Fault-Diagnosis Application. Heidelberg: Springer, 2011. 354 p.
3. Мироновский Л.А. Функциональное диагностирование динамических систем. М.-СПб.: Изд-во МГУ-ГРИФ, 1998. 256 с.
4. Шумский А.Е., Жирабок А.Н., Гаджиев Ч. Диагностирование и отказоустойчивое управление динамическими системами. Владивосток: Дальневосточный федеральный университет, 2016. 178 с.
5. Бурдонов И.Б., Косачев А.С., Кулямин В.В. Теория соответствия для систем с блокировками и разрушениями. М.: Физматлит, 2008. 412 с.
6. Бурдонов И.Б., Косачев А.С., Кулямин В.В. Использование конечных автоматов для тестирования программ // Программирование. 2000. № 2. С. 12–28.
7. Сперанский Д.В. Лекции по теории экспериментов с конечными автоматами. М.: Национальный Открытый Университет «ИНТУИТ», 2016. 354 с.
8. Колесов Н.В., Толмачева М.В., Юхта П.В. Системы реального времени. Планирование, анализ, диагностирование. СПб: ОАО «Концерн «ЦНИИ «Электроприбор», 2014. 180 с.
9. Грузликов А.М., Колесов Н.В. Дискретно-событийная диагностическая модель распределенной вычислительной системы. Независимые цепи // Автоматика и телемеханика. 2016. № 10. С. 140–155.
10. Грузликов А.М., Колесов Н.В. Дискретно-событийная диагностическая модель для распределенной вычислительной системы. Слияние цепей // Автоматика и телемеханика. 2017. № 4. С. 126–134.
11. Gruzlikov A.M., Kolesov N.V., Lukoyanov E.V., Tolmacheva M.V. Test-based diagnosis of distributed computer system using a time- varying model // IFAC-PapersOnLine. 2018. V. 51. N 24. P. 1075– 1082. doi: 10.1016/j.ifacol.2018.09.724
12. Грузликов А.М., Колесов Н.В., Лукоянов Е.В. Тестовое диагностирование нарушений адресации информационных обменов в вычислительных системах с использованием параллельной модели // Известия РАН. Теория и системы управления. 2018. № 3. С. 76–89. doi: 10.7868/S0002338818030071
13. Cassandras C.G., Lafortune S. Introduction to Discrete Event Systems. 2nd ed. New York: Springer, 2008. 770 p.
14. Zaytoon J., Lafortune S. Overview of fault diagnosis methods for discrete event systems // Annual Reviews in Control. 2013. V. 37. N 2. P. 308–320. doi: 10.1016/j.arcontrol.2013.09.009
15. Гилл А. Линейные последовательностные машины: Анализ, синтез и применение. М.: Наука, 1974. 288 с.
2. Isermann R. Fault-Diagnosis Application. Heidelberg: Springer, 2011. 354 p.
3. Мироновский Л.А. Функциональное диагностирование динамических систем. М.-СПб.: Изд-во МГУ-ГРИФ, 1998. 256 с.
4. Шумский А.Е., Жирабок А.Н., Гаджиев Ч. Диагностирование и отказоустойчивое управление динамическими системами. Владивосток: Дальневосточный федеральный университет, 2016. 178 с.
5. Бурдонов И.Б., Косачев А.С., Кулямин В.В. Теория соответствия для систем с блокировками и разрушениями. М.: Физматлит, 2008. 412 с.
6. Бурдонов И.Б., Косачев А.С., Кулямин В.В. Использование конечных автоматов для тестирования программ // Программирование. 2000. № 2. С. 12–28.
7. Сперанский Д.В. Лекции по теории экспериментов с конечными автоматами. М.: Национальный Открытый Университет «ИНТУИТ», 2016. 354 с.
8. Колесов Н.В., Толмачева М.В., Юхта П.В. Системы реального времени. Планирование, анализ, диагностирование. СПб: ОАО «Концерн «ЦНИИ «Электроприбор», 2014. 180 с.
9. Грузликов А.М., Колесов Н.В. Дискретно-событийная диагностическая модель распределенной вычислительной системы. Независимые цепи // Автоматика и телемеханика. 2016. № 10. С. 140–155.
10. Грузликов А.М., Колесов Н.В. Дискретно-событийная диагностическая модель для распределенной вычислительной системы. Слияние цепей // Автоматика и телемеханика. 2017. № 4. С. 126–134.
11. Gruzlikov A.M., Kolesov N.V., Lukoyanov E.V., Tolmacheva M.V. Test-based diagnosis of distributed computer system using a time- varying model // IFAC-PapersOnLine. 2018. V. 51. N 24. P. 1075– 1082. doi: 10.1016/j.ifacol.2018.09.724
12. Грузликов А.М., Колесов Н.В., Лукоянов Е.В. Тестовое диагностирование нарушений адресации информационных обменов в вычислительных системах с использованием параллельной модели // Известия РАН. Теория и системы управления. 2018. № 3. С. 76–89. doi: 10.7868/S0002338818030071
13. Cassandras C.G., Lafortune S. Introduction to Discrete Event Systems. 2nd ed. New York: Springer, 2008. 770 p.
14. Zaytoon J., Lafortune S. Overview of fault diagnosis methods for discrete event systems // Annual Reviews in Control. 2013. V. 37. N 2. P. 308–320. doi: 10.1016/j.arcontrol.2013.09.009
15. Гилл А. Линейные последовательностные машины: Анализ, синтез и применение. М.: Наука, 1974. 288 с.